Ensuring liveness properties of distributed systems: Open problems

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Ensuring Liveness Properties of Distributed Systems (A Research Agenda)

Often fairness assumptions need to be made in order to establish liveness properties of distributed systems, but in many situations these lead to false conclusions. This document presents a research agenda aiming at laying the foundations of a theory of concurrency that is equipped to ensure liveness properties of distributed systems without making fairness assumptions. This theory will encompa...

متن کامل

Verification of Liveness Properties in Distributed Systems

This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of distributed systems related via refinement. In this paper we outline how enabledness preservation and non-divergence are related to the liveness properties of the B models of the distributed systems. We address the liveness issues...

متن کامل

ENSURING VALUE LIVENESS of DISTRIBUTED SOFTWARE THROUGH CHANGELING†

This paper extends the Changeling methodology, which ensures safety of concurrent and distributed software, to provide responsiveness properties. Changeling employs formal methods to generate executable assertions which ensure that the physical state, in the actual run time environment, is consistent with the logical state specified in the assertion. The focus, here, is on the generation of exe...

متن کامل

On the Refinement of Liveness Properties of Distributed Systems

We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reasoning only over finite execution fragments. Current simulation-relation based methods for reasoning about liveness properties of automata require reasoning over entire executions, since they involve a proof obligation ...

متن کامل

Identifying Open Problems in Distributed Systems

The technology above and within the Internet continues to advance, and has reached a point where the potential benefits of very large scale, finely distributed applications are more apparent than ever. Opportunities are emerging to develop large systems that cater to highly dynamic and mobile sets of participants, who desire to interact with each other and stores of online content in a robust m...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming

سال: 2019

ISSN: 2352-2208

DOI: 10.1016/j.jlamp.2019.100480